jacketed pipe - German English Dictionary